<?php
/**
 * Created by PhpStorm.
 * User: wxd
 * Date: 2017/9/10
 * Time: 21:58
 */

$a = false;
echo gettype(gettype($a));

